Integrand size = 21, antiderivative size = 231 \[ \int \csc ^3(c+d x) (a+b \sec (c+d x))^n \, dx=\frac {\operatorname {Hypergeometric2F1}\left (1,1+n,2+n,\frac {a+b \sec (c+d x)}{a-b}\right ) (a+b \sec (c+d x))^{1+n}}{4 (a-b) d (1+n)}-\frac {\operatorname {Hypergeometric2F1}\left (1,1+n,2+n,\frac {a+b \sec (c+d x)}{a+b}\right ) (a+b \sec (c+d x))^{1+n}}{4 (a+b) d (1+n)}+\frac {b \operatorname {Hypergeometric2F1}\left (2,1+n,2+n,\frac {a+b \sec (c+d x)}{a-b}\right ) (a+b \sec (c+d x))^{1+n}}{4 (a-b)^2 d (1+n)}+\frac {b \operatorname {Hypergeometric2F1}\left (2,1+n,2+n,\frac {a+b \sec (c+d x)}{a+b}\right ) (a+b \sec (c+d x))^{1+n}}{4 (a+b)^2 d (1+n)} \]
1/4*hypergeom([1, 1+n],[2+n],(a+b*sec(d*x+c))/(a-b))*(a+b*sec(d*x+c))^(1+n )/(a-b)/d/(1+n)-1/4*hypergeom([1, 1+n],[2+n],(a+b*sec(d*x+c))/(a+b))*(a+b* sec(d*x+c))^(1+n)/(a+b)/d/(1+n)+1/4*b*hypergeom([2, 1+n],[2+n],(a+b*sec(d* x+c))/(a-b))*(a+b*sec(d*x+c))^(1+n)/(a-b)^2/d/(1+n)+1/4*b*hypergeom([2, 1+ n],[2+n],(a+b*sec(d*x+c))/(a+b))*(a+b*sec(d*x+c))^(1+n)/(a+b)^2/d/(1+n)
Leaf count is larger than twice the leaf count of optimal. \(1520\) vs. \(2(231)=462\).
Time = 16.83 (sec) , antiderivative size = 1520, normalized size of antiderivative = 6.58 \[ \int \csc ^3(c+d x) (a+b \sec (c+d x))^n \, dx =\text {Too large to display} \]
((a + b)*(Cos[c + d*x]*Sec[(c + d*x)/2]^2)^n*(((-a + b)*Cos[c + d*x]*Sec[( c + d*x)/2]^2)/b)^n*(a + b*Sec[c + d*x])^n*((1 - Tan[(c + d*x)/2]^2)^(-1)) ^n*(1 - Tan[(c + d*x)/2]^4)^n*(b + (a - a*Tan[(c + d*x)/2]^2)/(1 + Tan[(c + d*x)/2]^2))^n*(-((Hypergeometric2F1[n, 1 + n, 2 + n, (a + b - a*Tan[(c + d*x)/2]^2 + b*Tan[(c + d*x)/2]^2)/(2*b)]*(((a - b)*(-1 + Tan[(c + d*x)/2] ^2))/b)^n*(a + b - a*Tan[(c + d*x)/2]^2 + b*Tan[(c + d*x)/2]^2)^(1 + n))/( (a - b)*(1 + n)*(2 - 2*Tan[(c + d*x)/2]^2)^n)) + (Hypergeometric2F1[1, -n, 1 - n, ((a + b)*(-1 + Tan[(c + d*x)/2]^2))/(a*(-1 + Tan[(c + d*x)/2]^2) - b*(1 + Tan[(c + d*x)/2]^2))]*(a + b + (-a + b)*Tan[(c + d*x)/2]^2)^n)/(n* (1 - Tan[(c + d*x)/2]^2)^n) - (Cot[(c + d*x)/2]^2*(1 - Tan[(c + d*x)/2]^2) ^(1 - n)*(a + b + (-a + b)*Tan[(c + d*x)/2]^2)^(1 + n))/(a + b) - (2^n*Hyp ergeometric2F1[-n, -n, 1 - n, ((a - b)*(-1 + Tan[(c + d*x)/2]^2))/(2*b)]*( a + b + (-a + b)*Tan[(c + d*x)/2]^2)^n)/(n*(1 - Tan[(c + d*x)/2]^2)^n*((a + b + (-a + b)*Tan[(c + d*x)/2]^2)/b)^n) - ((Hypergeometric2F1[n, 1 + n, 2 + n, (a + b - a*Tan[(c + d*x)/2]^2 + b*Tan[(c + d*x)/2]^2)/(2*b)]*(((a - b)*(-1 + Tan[(c + d*x)/2]^2))/b)^n*(a + b - a*Tan[(c + d*x)/2]^2 + b*Tan[( c + d*x)/2]^2)^(1 + n))/((1 + n)*(2 - 2*Tan[(c + d*x)/2]^2)^n) + ((a - b)* Hypergeometric2F1[1, -n, 1 - n, ((a + b)*(-1 + Tan[(c + d*x)/2]^2))/(a*(-1 + Tan[(c + d*x)/2]^2) - b*(1 + Tan[(c + d*x)/2]^2))]*(a + b + (-a + b)*Ta n[(c + d*x)/2]^2)^n)/(n*(1 - Tan[(c + d*x)/2]^2)^n) - (2^n*(a - b)*Hype...
Time = 0.39 (sec) , antiderivative size = 224, normalized size of antiderivative = 0.97, number of steps used = 5, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.190, Rules used = {3042, 4362, 198, 2009}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \csc ^3(c+d x) (a+b \sec (c+d x))^n \, dx\) |
\(\Big \downarrow \) 3042 |
\(\displaystyle \int \frac {\left (a-b \csc \left (c+d x-\frac {\pi }{2}\right )\right )^n}{\cos \left (c+d x-\frac {\pi }{2}\right )^3}dx\) |
\(\Big \downarrow \) 4362 |
\(\displaystyle -\frac {\int \frac {\sec ^2(c+d x) (a+b \sec (c+d x))^n}{(1-\sec (c+d x))^2 (\sec (c+d x)+1)^2}d(-\sec (c+d x))}{d}\) |
\(\Big \downarrow \) 198 |
\(\displaystyle -\frac {\int \left (\frac {(a+b \sec (c+d x))^n}{2 \left (\sec ^2(c+d x)-1\right )}+\frac {(a+b \sec (c+d x))^n}{4 (-\sec (c+d x)-1)^2}+\frac {(a+b \sec (c+d x))^n}{4 (1-\sec (c+d x))^2}\right )d(-\sec (c+d x))}{d}\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle -\frac {-\frac {(a+b \sec (c+d x))^{n+1} \operatorname {Hypergeometric2F1}\left (1,n+1,n+2,\frac {a+b \sec (c+d x)}{a-b}\right )}{4 (n+1) (a-b)}+\frac {(a+b \sec (c+d x))^{n+1} \operatorname {Hypergeometric2F1}\left (1,n+1,n+2,\frac {a+b \sec (c+d x)}{a+b}\right )}{4 (n+1) (a+b)}-\frac {b (a+b \sec (c+d x))^{n+1} \operatorname {Hypergeometric2F1}\left (2,n+1,n+2,\frac {a+b \sec (c+d x)}{a-b}\right )}{4 (n+1) (a-b)^2}-\frac {b (a+b \sec (c+d x))^{n+1} \operatorname {Hypergeometric2F1}\left (2,n+1,n+2,\frac {a+b \sec (c+d x)}{a+b}\right )}{4 (n+1) (a+b)^2}}{d}\) |
-((-1/4*(Hypergeometric2F1[1, 1 + n, 2 + n, (a + b*Sec[c + d*x])/(a - b)]* (a + b*Sec[c + d*x])^(1 + n))/((a - b)*(1 + n)) + (Hypergeometric2F1[1, 1 + n, 2 + n, (a + b*Sec[c + d*x])/(a + b)]*(a + b*Sec[c + d*x])^(1 + n))/(4 *(a + b)*(1 + n)) - (b*Hypergeometric2F1[2, 1 + n, 2 + n, (a + b*Sec[c + d *x])/(a - b)]*(a + b*Sec[c + d*x])^(1 + n))/(4*(a - b)^2*(1 + n)) - (b*Hyp ergeometric2F1[2, 1 + n, 2 + n, (a + b*Sec[c + d*x])/(a + b)]*(a + b*Sec[c + d*x])^(1 + n))/(4*(a + b)^2*(1 + n)))/d)
3.3.72.3.1 Defintions of rubi rules used
Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_)*((e_.) + (f_.)*(x_) )^(p_)*((g_.) + (h_.)*(x_))^(q_), x_] :> Int[ExpandIntegrand[(a + b*x)^m*(c + d*x)^n*(e + f*x)^p*(g + h*x)^q, x], x] /; FreeQ[{a, b, c, d, e, f, g, h, m, n}, x] && IntegersQ[p, q]
Int[cos[(e_.) + (f_.)*(x_)]^(p_.)*(csc[(e_.) + (f_.)*(x_)]*(b_.) + (a_))^(m _), x_Symbol] :> Simp[-f^(-1) Subst[Int[(-1 + x)^((p - 1)/2)*(1 + x)^((p - 1)/2)*((a + b*x)^m/x^(p + 1)), x], x, Csc[e + f*x]], x] /; FreeQ[{a, b, e , f, m}, x] && IntegerQ[(p - 1)/2] && NeQ[a^2 - b^2, 0]
\[\int \csc \left (d x +c \right )^{3} \left (a +b \sec \left (d x +c \right )\right )^{n}d x\]
\[ \int \csc ^3(c+d x) (a+b \sec (c+d x))^n \, dx=\int { {\left (b \sec \left (d x + c\right ) + a\right )}^{n} \csc \left (d x + c\right )^{3} \,d x } \]
Timed out. \[ \int \csc ^3(c+d x) (a+b \sec (c+d x))^n \, dx=\text {Timed out} \]
\[ \int \csc ^3(c+d x) (a+b \sec (c+d x))^n \, dx=\int { {\left (b \sec \left (d x + c\right ) + a\right )}^{n} \csc \left (d x + c\right )^{3} \,d x } \]
\[ \int \csc ^3(c+d x) (a+b \sec (c+d x))^n \, dx=\int { {\left (b \sec \left (d x + c\right ) + a\right )}^{n} \csc \left (d x + c\right )^{3} \,d x } \]
Timed out. \[ \int \csc ^3(c+d x) (a+b \sec (c+d x))^n \, dx=\int \frac {{\left (a+\frac {b}{\cos \left (c+d\,x\right )}\right )}^n}{{\sin \left (c+d\,x\right )}^3} \,d x \]